Nuprl Definition : set_leq
13,42
postcript
pdf
a
b
==
(
a
(
)
b
)
latex
clarification:
a
p
b
==
(
a
(
p
)
b
)
latex
Up
sets
1
Wellformedness Lemmas
set
leq
wf
Definitions
b
,
x
f
y
,
origin
b == 
(a (
) b)
p b == (a (p) b) b == (a () b)
p b == (a (p) b) b